Constraint-directed search : a case study of job-shop scheduling

This thesis investigates the problem of constraint-directed reasoning in the job-shop scheduling domain. The job-shop scheduling problem is defined as: selecting a sequence of operations whose execution results in the completion of an order, and assigning times (i.e., start and end times) and resources to each operation. The number of possible schedules grows exponentially with the number of orders, alternative production plans, substitutable resources, and possible times to assign resources and perform operations. The acceptability of a particular schedule depends not only on the availability of alternatives, but on other knowledge such as organizational goals, physical limitations of resources, causal restrictions amongst resources and operations, availability of resources, and preferences amongst alternatives. By viewing the scheduling problem from a constraint-directed search perspective, much of this knowledge can be viewed as constraints on the schedule generation and selection process. The problem of scheduling orders in a job-shop under these constraints raises a number of issues of interest to the artificial intelligence community such as: • knowledge representation semantics for organization modeling, • extending knowledge representation techniques to include the variety of constraints found in the scheduling domain, • integrating constraints into the search process -• in particular, determining how to use constraints to bound the generation and focus the selection of alternative solutions, • relaxing constraints when conflict occurs, and • analyzing the interaction between constraints to diagnose poor solutions. In this thesis, we present a system called ISIS. ISIS uses a constraint-directed search paradigm to solve the scheduling problem. ISIS provides: • a knowledge representation language (SRL) for modeling organizations and their constraints, • hierarchical, constraint-directed scheduling of orders, which includes: o constraint-directed bounding of the solution space, o context-sensitive selection of constraints, and o weighted interpretation of constraints. • analytic and generative constraint relaxation, and • techniques for the diagnosis of poor schedules. In addition, the ISIS system has been designed to provide complete facilities for practical use in the factory. These facilities include: interfaces for updating factory status, incremental scheduling in response to changes in the factory, interfaces for altering the factory model and interactive, scheduling with flagging of poorly satisfied constraints. Versions of the ISIS program have been tested on a model of a real factory using simulated orders. Chapter